A Functional Logic Programming Approach to Graphical User Interfaces
نویسنده
چکیده
We show how the features of modern integrated functional logic programming languages can be exploited to implement graphical user interfaces (GUIs) in a high-level declarative style. For this purpose, we have developed a GUI library in Curry, a multi-paradigm language amalgamating functional, logic, and concurrent programming principles. The functional features of Curry are exploited to deene the graphical structure of an interface and to implement new graphical abstractions, and the logic features of Curry are used to specify the logical dependencies of an interface. Moreover, the concurrent and distributed features of Curry support the easy implementation of GUIs to distributed systems.
منابع مشابه
Communicating Functional Agents and Their Application to Graphical User Interfaces
We demonstrate how concepts of communicating agents can be integrated into purely functional languages by an orthogonal extension of the usual I/O monad. These agents communicate via so-called service access points and support programming in the style of client-server architectures. We then show the feasibility of the approach by applying it to the example of graphical user interfaces, which we...
متن کاملDeclarative Programming of User Interfaces
This paper proposes a declarative description of user interfaces that abstracts from low-level implementation details. In particular, the user interfaces specified in our framework are executable as graphical user interfaces for desktop applications as well as web user interfaces via standard web browsers. Thus, our approach combines the advantages of existing user interface technologies in a f...
متن کاملProgramming Generic Graphical User Interfaces
The GEC Toolkit offers to programmers a high-level, generic style of programming Graphical User Interfaces (GUIs). Programmers are not concerned with low-level widget plumbing. Instead, they use mathematical data models that reflect both the application logic and the visualisation. The data models and the logic are expressed as standard functional style data types and functions over these data ...
متن کاملA New Trust Model for B2C E-Commerce Based on 3D User Interfaces
Lack of trust is one of the key bottle necks in e-commerce development. Nowadays many advanced technologies are trying to address the trust issues in e-commerce. One among them suggests using suitable user interfaces. This paper investigates the functionality and capabilities of 3D graphical user interfaces in regard to trust building in the customers of next generation of B2C e-commerce websit...
متن کاملMan Machine Service Embedded in Logic Programming
Focusing on interactive graphical applications 10], we observe that some portions of applications are most clearly and conveniently described using the Logic Programmation, while other portions are most clearly described using standard imperative constructs , especially the parts of user interfaces. Many software manufacturers provide Prolog systems which allow the use of external procedures. B...
متن کامل